Computer optimization

Results: 3360



#Item
781Theoretical computer science / Operations research / Heuristics / Combinatorial optimization / NP-complete problems / Greedy algorithm / Heuristic function / A* search algorithm / Algorithm / Mathematics / Search algorithms / Applied mathematics

Fast Downward Stone Soup Malte Helmert and Gabriele R¨oger and Jendrik Seipp Erez Karpas University of Freiburg, Germany

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2013-04-30 16:52:25
782Search engine optimization / Natural language processing / Searching / Hypertext / PageRank / Anchor text / Hyperlink / Backlink / Text Retrieval Conference / Information science / Information retrieval / Science

RMIT University at the TREC 2007 Enterprise Track Mingfang Wu Falk Scholer Milad Shokouhi Simon Puglisi Halil Ali School of Computer Science and IT RMIT University, GPO Box 2476V Melbourne 3001, Australia

Add to Reading List

Source URL: trec.nist.gov

Language: English - Date: 2008-02-05 08:52:28
783Software optimization / Algorithm / Mathematical logic / Theoretical computer science / Parallel computing / Lookup table / Data-flow analysis / Computing / Computer programming / Computer performance

Compiler and Runtime Analysis for Efficient Communication in Data Intensive Applications  

Add to Reading List

Source URL: research.ac.upc.edu

Language: English - Date: 2002-03-20 08:48:05
784Business / Google / Human–computer interaction / World Wide Web / Advertising / Search engine optimization / Internet / Computing / Internet marketing

Confidential   Discovery  Form   Key  Contact  Name:  Gabriella  Sannino  

Add to Reading List

Source URL: level343.com

Language: English - Date: 2014-08-24 15:06:04
785Mathematics / Operations research / Abstraction / Game theory / Pareto efficiency / Preorder / Maximal element / Entailment / Multi-objective optimization / Mathematical optimization / Logic / Order theory

A Mathematical Framework for the Study of Coevolution Anthony Bucci DEMO Lab Computer Science Department, MS018 Brandeis University

Add to Reading List

Source URL: demo.cs.brandeis.edu

Language: English - Date: 2003-02-02 08:58:09
786Complexity classes / NP-complete problems / Mathematical optimization / NP-hard / Time complexity / NP / Independent set / P versus NP problem / Clique / Theoretical computer science / Computational complexity theory / Applied mathematics

CS 373 Final Exam (December 15, 2000) Fall 2000

Add to Reading List

Source URL: web.engr.illinois.edu

Language: English - Date: 2014-12-28 08:48:10
787Applied mathematics / Mathematics / Constraint programming / Job shop scheduling / Boolean satisfiability problem / Open shop scheduling / Scheduling / Shifting bottleneck heuristic / Operations research / Theoretical computer science / Mathematical optimization

Models and Strategies for Variants of the Job Shop Scheduling Problem Diarmuid Grimes1 and Emmanuel Hebrard2,3 1 3

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2011-09-27 04:15:08
788Programming language implementation / Software / Theoretical computer science / Compiler / Algorithm / Continuation-passing style / Static single assignment form / Program optimization / Programming language / Software engineering / Computing / Compiler construction

Flexible and Practical Flow Analysis for Higher-Order Programming Languages by J. Michael Ashley Submitted to the faculty of the University Graduate School

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:39
789Theoretical computer science / Operations research / Heuristics / Combinatorial optimization / NP-complete problems / Greedy algorithm / Heuristic function / A* search algorithm / Algorithm / Mathematics / Search algorithms / Applied mathematics

Fast Downward Stone Soup: A Baseline for Building Planner Portfolios Malte Helmert and Gabriele R¨oger Erez Karpas University of Freiburg, Germany

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2013-04-30 16:52:25
790Computer programming / Control flow / Loop optimization / Vectorization / Loop invariant / Infinite loop / For loop / SIMD / Parallel computing / Computing / Software engineering / Compiler optimizations

From Relational Verification to SIMD Loop Synthesis Gilles Barthe1 Juan Manuel Crespo1 Sumit Gulwani2

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2013-01-13 01:49:04
UPDATE